2765 search results - page 513 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
DSMML
2004
Springer
15 years 2 months ago
2004
Springer
The arithmetic-coding-based communication system, Dasher, can be driven by a one-dimensional continuous signal. A belt-mounted breath-mouse, delivering a signal related to lung vol...
ASPLOS
2006
ACM
15 years 5 months ago
2006
ACM
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
117
click to vote
SIGSOFT
2007
ACM
15 years 12 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
ICCAD
2006
IEEE
15 years 8 months ago
2006
IEEE
Most existing buffering algorithms neglect the impact of inductance on circuit performance, which causes large error in circuit analysis and optimization. Even for the approaches...
MSWIM
2009
ACM
15 years 6 months ago
2009
ACM
We evaluate an asynchronous gossiping middleware for wireless users that propagates messages from any group member to all the other group members. This propagation can either be i...