Sciweavers

7530 search results - page 390 / 1506
» Design and Implementation of the YAWL System
Sort
View
FPL
2007
Springer
106views Hardware» more  FPL 2007»
16 years 1 months ago
RAMP Blue: A Message-Passing Manycore System in FPGAs
We are developing a set of reusable design blocks and several prototype systems for emulation of multi-core architectures in FPGAs. RAMP Blue is the first of these prototypes and...
Alex Krasnov, Andrew Schultz, John Wawrzynek, Greg...
ICRA
2005
IEEE
144views Robotics» more  ICRA 2005»
16 years 20 days ago
A Miniature Mobile Robot With a Color Stereo Camera System for Swarm Robotics Research
— In swarm robotics research, instead of using large size robots, it is often desirable to have multiple small size robots for saving valuable work space and making the maintaina...
Janne Haverinen, Mikko Parpala, Juha Röning
FATES
2004
Springer
16 years 14 days ago
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
Behzad Bordbar, Kozo Okano
SIGCOMM
1994
ACM
15 years 11 months ago
Signaling and Operating System Support for Native-Mode ATM Applications
Applications communicating over connectionless networks, such as IP, cannot obtain per-connection Quality of Service (QoS) guarantees. In contrast, the connection-oriented nature ...
Rosen Sharma, Srinivasan Keshav
JSAC
2006
99views more  JSAC 2006»
15 years 7 months ago
Incentives for large peer-to-peer systems
We consider problems of provisioning an excludable public good amongst n potential members of a peer-to-peer system who are able to communicate information about their private pre...
Costas Courcoubetis, Richard R. Weber