164 search results - page 31 / 33 » Primitives for Contract-based Synchronization |
188
click to vote
TPHOL
2008
IEEE
16 years 8 days ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
182
click to vote
RTSS
2007
IEEE
16 years 5 days ago
2007
IEEE
— With the advent of CMOS cameras, it is now possible to make compact, cheap and low-power image sensors capable of on-board image processing. These embedded vision sensors provi...
185
click to vote
RTSS
2006
IEEE
15 years 12 months ago
2006
IEEE
Modern FPGA devices, which include (multiple) processor core(s) as diffused IP on the silicon die, provide an excellent platform for developing custom multiprocessor systems-on-pr...
161
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
One of the prime reasons movie and music studios have ignored the Internet for open-networked multimedia content delivery, has been the lack of a technology that can support a sec...
183
click to vote
PADS
2003
ACM
15 years 11 months ago
2003
ACM
Wireless networks’ models differ from wired ones at least in the innovative dynamic effects of host-mobility and open-broadcast nature of the wireless medium. Topology changes d...