10707 search results - page 65 / 2142 » Designing executable abstractions |
129
click to vote
EUC
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Energy and delay are critical issues for wireless sensor networks since most sensors are equipped with non-rechargeable batteries that have limited lifetime. Due to the u...
126
Voted
PVM
2009
Springer
15 years 9 months ago
2009
Springer
The objective of this research is to convert ordinary idle PCs into virtual clusters for executing parallel applications. The paper introduces VolpexMPI that is designed to enable ...
129
click to vote
EMISA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract: Web service technology offers a promising approach for realizing enterprisewide and cross-organizational business applications. With the Business Process Execution Langua...
106
click to vote
EUROPAR
1999
Springer
15 years 7 months ago
1999
Springer
Growing demand for high performance in embedded systems is creating new opportunities for Instruction-Level Parallelism ILP techniques that are traditionally used in high perform...
134
click to vote
JAR
2006
15 years 2 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...