Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
15,202
Creating Instructional Program Coherence
"... In ongoing efforts to improve U.S. high schools, some reforms have focused on increasing course rigor and ensuring standards of proficiency. Many schools have eliminated Ds as a passing grade and dropped less rigorous courses and vocational tracks. State education departments have increased the numb ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
coursework. But there is yet another dimension to increasing course rigor and deepening student learning: instructional program coherence. Such coherence relies on teachers collaborating across content areas and grade levels with the aim of adopting common instructional strategies and systematically building
Automatically characterizing large scale program behavior
, 2002
"... Understanding program behavior is at the foundation of computer architecture and program optimization. Many pro-grams have wildly different behavior on even the very largest of scales (over the complete execution of the program). This realization has ramifications for many architectural and com-pile ..."
Abstract
-
Cited by 778 (41 self)
- Add to MetaCart
of execution. Our goal is to develop automatic techniques that are ca-pable of finding and exploiting the Large Scale Behavior of programs (behavior seen over billions of instructions). The first step towards this goal is the development of a hardware independent metric that can concisely summarize the behav
Pin: building customized program analysis tools with dynamic instrumentation
- IN PLDI ’05: PROCEEDINGS OF THE 2005 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION
, 2005
"... Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we have developed a new instrumentation system called Pin. Our goals are to provide easy-to-use, portable, transparent, and eff ..."
Abstract
-
Cited by 991 (35 self)
- Add to MetaCart
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we have developed a new instrumentation system called Pin. Our goals are to provide easy-to-use, portable, transparent
LLVM: A compilation framework for lifelong program analysis & transformation
, 2004
"... ... a compiler framework designed to support transparent, lifelong program analysis and transformation for arbitrary programs, by providing high-level information to compiler transformations at compile-time, link-time, run-time, and in idle time between runs. LLVM defines a common, low-level code re ..."
Abstract
-
Cited by 852 (20 self)
- Add to MetaCart
... a compiler framework designed to support transparent, lifelong program analysis and transformation for arbitrary programs, by providing high-level information to compiler transformations at compile-time, link-time, run-time, and in idle time between runs. LLVM defines a common, low-level code
Coordinator of the Specialized Instruction program,
"... in developing the questionnaires and analyzing the results of this research. A 3-year follow-up of graduates of the Special-ized Instruction (SI) program was conducted. The purpose of the study was to determine grad-uates ’ and principals ’ perceptions of the effec-tiveness of the program in prepari ..."
Abstract
- Add to MetaCart
in developing the questionnaires and analyzing the results of this research. A 3-year follow-up of graduates of the Special-ized Instruction (SI) program was conducted. The purpose of the study was to determine grad-uates ’ and principals ’ perceptions of the effec-tiveness of the program
POLICY: EVALUATION OF THE INSTRUCTIONAL PROGRAM
"... The Board directs the Chief School Administrator to develop and implement a systematic short-range and long-range plan for the continuing assessment of the progress of the educational program toward the goals established by the district. To this end, he/she shall recommend tests and methods indicate ..."
Abstract
- Add to MetaCart
The Board directs the Chief School Administrator to develop and implement a systematic short-range and long-range plan for the continuing assessment of the progress of the educational program toward the goals established by the district. To this end, he/she shall recommend tests and methods
Multiscalar Processors
- In Proceedings of the 22nd Annual International Symposium on Computer Architecture
, 1995
"... Multiscalar processors use a new, aggressive implementation paradigm for extracting large quantities of instruction level parallelism from ordinary high level language programs. A single program is divided into a collection of tasks by a combination of software and hardware. The tasks are distribute ..."
Abstract
-
Cited by 589 (30 self)
- Add to MetaCart
Multiscalar processors use a new, aggressive implementation paradigm for extracting large quantities of instruction level parallelism from ordinary high level language programs. A single program is divided into a collection of tasks by a combination of software and hardware. The tasks
Maté: A Tiny Virtual Machine for Sensor Networks
, 2002
"... Composed of tens of thousands of tiny devices with very limited resources ("motes"), sensor networks are subject to novel systems problems and constraints. The large number of motes in a sensor network means that there will often be some failing nodes; networks must be easy to repopu-late. ..."
Abstract
-
Cited by 510 (21 self)
- Add to MetaCart
for sensor networks. Mat~'s high-level in-terface allows complex programs to be very short (under 100 bytes), reducing the energy cost of transmitting new programs. Code is broken up into small capsules of 24 instructions, which can self-replicate through the network. Packet sending and reception
Uniform proofs as a foundation for logic programming
- ANNALS OF PURE AND APPLIED LOGIC
, 1991
"... A proof-theoretic characterization of logical languages that form suitable bases for Prolog-like programming languages is provided. This characterization is based on the principle that the declarative meaning of a logic program, provided by provability in a logical system, should coincide with its ..."
Abstract
-
Cited by 428 (122 self)
- Add to MetaCart
that respects the interpretation of the logical connectives as search instructions. The concept of a uniform proof is used to define the notion of an abstract logic programming language, and it is shown that first-order and higher-order Horn clauses with classical provability are examples of such a language
Results 1 - 10
of
15,202
