10707 search results - page 48 / 2142 » Designing executable abstractions |
151
click to vote
ICS
1998
Tsinghua U.
15 years 10 months ago
1998
Tsinghua U.
Abstract Barrier synchronizations can be very expensive on multiprogramming environment because no process can go past a barrier until all the processes have arrived. If a process ...
217
click to vote
BIRTHDAY
2012
Springer
14 years 1 months ago
2012
Springer
Embedded systems must interact with their real-time environment in a timely and dependable fashion. Most embeddedsystems architectures and design processes consider “nonfunction...
156
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
In this paper we propose a method for inferring invariants for loops in Java programs. An example of a simple while loop is used throughout the paper to explain our approach. The m...
120
click to vote
ICRA
1994
IEEE
15 years 10 months ago
1994
IEEE
Abstract-This paper deals with enhancing the level of autonomy in a robotic work cell. With that mission in mind, we present here an integrated framework for the sensing, the plann...
171
click to vote
IDA
2009
Springer
16 years 17 days ago
2009
Springer
Abstract Deciding which computer architecture provides the best performance for a certain program is an important problem in hardware design and benchmarking. While previous approa...