13109 search results - page 2243 / 2622 » The design and implementation of AspectC |
179
click to vote
RAS
2010
15 years 5 months ago
2010
One important design decision for the development of autonomously navigating mobile robots is the choice of the representation of the environment. This includes the question which...
210
click to vote
RTAS
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper describes the design and implementation of a pervasive computing framework, named Physicalnet. Essentially, Physicalnet is a generic paradigm for managing and programmi...
225
click to vote
SAMOS
2010
Springer
15 years 5 months ago
2010
Springer
—Instruction set simulators (ISS) are vital tools for compiler and processor architecture design space exploration and verification. State-of-the-art simulators using just-in-ti...
197
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
241
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...