2637 search results - page 141 / 528 » Tool Supported Specification and Simulation of Distributed S... |
119
click to vote
CEC
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper presents a new unified design flow developed within the Perplexus project that aims to accelerate parallelizable data-intensive applications in the context of ubiquitous...
135
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
— Simulation is becoming an increasingly important aspect of mobile robots. As we are better able to simulate the real world, we can usefully perform more research in simulated e...
184
click to vote
RTSS
1996
IEEE
15 years 8 months ago
1996
IEEE
W e investigate here the performance implications of supporting transaction atomicity in a distributed realtime database system. Using a detailed simulation model of a firm-deadli...
124
click to vote
CHINZ
2005
ACM
15 years 6 months ago
2005
ACM
In this paper, we describe the design philosophy, implementation and evaluation of InkKit, an informal design platform that uses pen input on a tablet PC to imitate the informalit...
146
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...