487 search results - page 86 / 98 » A Compiled Implementation of Normalization by Evaluation |
143
click to vote
SIGCSE
2009
ACM
16 years 3 months ago
2009
ACM
Formal code inspections are employed by teams of professional software engineers to identify software defects and improve the quality of software. After reviewing a piece of code ...
137
click to vote
VLSID
2004
IEEE
16 years 3 months ago
2004
IEEE
The increasing software content of battery-powered embedded systems has fueled much interest in techniques for developing energyefficient embedded software. Source code transforma...
145
click to vote
EDBT
2004
ACM
16 years 3 months ago
2004
ACM
OGSA-DQP is a distributed query processor exposed to users as an Open Grid Services Architecture (OGSA)-compliant Grid service. This service supports the compilation and evaluation...
146
Voted
POPL
2010
ACM
16 years 21 days ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...
162
Voted
EUROSYS
2007
ACM
16 years 12 days ago
2007
ACM
During concurrent I/O workloads, sequential access to one I/O stream can be interrupted by accesses to other streams in the system. Frequent switching between multiple sequential ...