5863 search results - page 320 / 1173 » On Model-Checking of P Systems |
218
click to vote
ERCIMDL
2006
Springer
15 years 11 months ago
2006
Springer
The advent of digital libraries along with the tremendous growth of digital content call for distributed and scalable approaches for managing vast data collections. Peer-to-peer (P...
164
click to vote
IROS
2009
IEEE
16 years 2 months ago
2009
IEEE
— Robotic microhandling is a promising way to assemble microcomponents in order to manufacture new generation of Hybrid Micro ElectroMechanical Systems (HMEMS). However, at the s...
225
click to vote
TPDS
2002
15 years 7 months ago
2002
One of the most fundamental problems automatic parallelization tools are confronted with is to find an optimal domain decomposition for a given application. For regular domain prob...
189
click to vote
GLVLSI
2003
IEEE
16 years 22 days ago
2003
IEEE
A critical part of the design of HW/SW systems concerns the definition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...
170
click to vote
ICPADS
2008
IEEE
16 years 1 months ago
2008
IEEE
Personal Health (pHealth) sensor networks are generally used to monitor the wellbeing of both athletes and the general public to inform health specialists of future and often seri...