Sciweavers

521 search results - page 34 / 105
» Executing Hardware as Parallel Software for Picoblaze Networ...
Sort
View
DATE
1997
IEEE
107views Hardware» more  DATE 1997»
15 years 2 months ago
Exploiting temporal independence in distributed preemptive circuit simulation
In digital circuit simulation hidden opportunities for concurrent execution of models often exist, arising from the propagation delay associated with the generation of output even...
Peter Walker, Sumit Ghosh
SNPD
2008
14 years 11 months ago
Tools and Techniques for Model Checking Networked Programs
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
Cyrille Artho, Watcharin Leungwattanakit, Masami H...
DCOSS
2011
Springer
13 years 10 months ago
Compiling business process models for sensor networks
—Wireless sensor networks are increasingly being used to improve business processes. The behavior of such a process is usually captured in models while its implementation is typi...
Alexandra Caracas, Alexander Bernauer
IWANN
2009
Springer
15 years 4 months ago
General Purpose Agent-Based Parallel Computing
Parallel computing has become an important research field in the last years. The availability of hardware and the success of grid computing have motivated this interest. In this pa...
David Sánchez, David Isern, Ángel Ro...
ICDCSW
2007
IEEE
15 years 4 months ago
Using stream queries to measure communication performance of a parallel computing environment
We have developed a data stream management system that supports declarative stream queries running over high data volumes in a supercomputing environment. To enable specification ...
Erik Zeitler, Tore Risch