11112 search results - page 310 / 2223 » Computing Stuttering Simulations |
206
click to vote
ICPADS
2002
IEEE
15 years 11 months ago
2002
IEEE
The emergence of mobile ad hoc sensor networks has brought new challenges to traditional network design. This paper focuses on the study at the application layer. In specific, it...
152
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
Interventional neuroradiology is a growing field of minimally invasive therapies that includes embolization of aneurysms and arteriovenous malformations, carotid angioplasty and ca...
182
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
The design of any application on a configurable System-on-a-Chip (SoC) like Atmel's FPSLIC is subject to a lot of constraints stemming from requirements of the application an...
176
Voted
TEI
2009
ACM
16 years 1 months ago
2009
ACM
This paper describes TinkerSheets, a paper-based interface to tangible simulations. The proposed interface combines the advantages of form-based input and paper. Form-based input ...
150
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
We address the problem of alternating simulation refinement for concurrent timed games (TG). We show that checking timed alternating simulation between TG is EXPTIME-complete, and...