5863 search results - page 1135 / 1173 » On Model-Checking of P Systems |
137
Voted
ISMM
2009
Springer
15 years 10 months ago
2009
Springer
Applying computer technology, such as computer vision in driver assistance, implies that processes and data are modeled as being discretized rather than being continuous. The area ...
150
Voted
OTM
2009
Springer
15 years 10 months ago
2009
Springer
Provenance, from the French word “provenir”, describes the lineage or history of a data entity. Provenance is critical information in scientific applications to verify experime...
166
Voted
FCCM
2008
IEEE
15 years 10 months ago
2008
IEEE
The map-reduce model requires users to express their problem in terms of a map function that processes single records in a stream, and a reduce function that merges all mapped out...
114
Voted
HOTI
2008
IEEE
15 years 10 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...
167
Voted
NOCS
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we examine a latency insensitive network composed of very fast and simple circuits that connects SoC cores that are also latency insensitive, de-synchronized, or asy...