5863 search results - page 757 / 1173 » On Model-Checking of P Systems |
137
click to vote
HUC
2009
Springer
15 years 11 months ago
2009
Springer
We describe a technique to detect the presence of computer users. This technique relies on sonar using hardware that already exists on commodity laptop computers and other electro...
193
click to vote
ICCD
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a new VLIW core as a successor to the TriMedia TM1000. The processor is targeted for embedded use in media-processing devices like DTVs and set-top boxes. Intended as a...
172
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
A structured approach to parallel programming allows to construct applications by composing skeletons, i.e., recurring patterns of task- and data-parallelism. First academic and co...
157
click to vote
VLDB
1997
ACM
15 years 11 months ago
1997
ACM
Data warehouses and recording systems typically have a large continuous stream of incoming data, that must be stored in a manner suitable for future access. Access to stored recor...
163
click to vote
COCO
1994
Springer
15 years 11 months ago
1994
Springer
Resource-bounded measure as originated by Lutz is an extension of classical measure theory which provides a probabilistic means of describing the relative sizes of complexity clas...