1205 search results - page 231 / 241 » On P Systems with Bounded Parallelism |
IJCAI
1989
13 years 8 months ago
1989
In a recent paper, Ginsberg shows how a backward-chaining ATMS can be used to construct a theorem prover for circumscription. Here, this work is extended to handle prioritized cir...
IPSN
2004
Springer
14 years 26 days ago
2004
Springer
Recent advances in technology have made low cost, low power wireless sensors a reality. Clock synchronization is an important service in any distributed system, including sensor n...
ICCD
2005
IEEE
14 years 4 months ago
2005
IEEE
Abstract— Noise induced by impedance discontinuities from VLSI packaging is one of the leading challenges facing system level designers in the next decade. The performance of IC ...
HOTI
2008
IEEE
14 years 1 months ago
2008
IEEE
Buses have historically provided a flexible communications structure in computer systems. However, signal integrity constraints of high-speed electronics have made multi-drop elec...
GRID
2007
Springer
14 years 1 months ago
2007
Springer
— EGEE, along with its sister project LCG, manages the world’s largest Grid production infrastructure which is spreading nowadays over 260 sites in more than 40 countries. Just...