42 search results - page 3 / 9 » Tag Elimination and Jones-Optimality |
DATE
2002
IEEE
14 years 12 days ago
2002
IEEE
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...
PERCOM
2008
ACM
14 years 7 months ago
2008
ACM
Counting or estimating the number of tags is crucial for large-scale RFID systems. The use of multiple readers was recently proposed to improve the efficiency and effectiveness in ...
LREC
2010
13 years 9 months ago
2010
Folksonomies are unsystematic, unsophisticated collections of keywords associated by social bookmarking users to web content and, despite their inconsistency problems (typographic...
ATAL
2004
Springer
14 years 25 days ago
2004
Springer
For Peer-2-Peer (P2P) networks to realize their full potential their nodes need to coordinate and cooperate, to improve the performance of the network as a whole. But this requires...
CADE
2008
Springer
14 years 7 months ago
2008
Springer
We present a tool for automatic generation of packed bitfields and tagged unions for systems-level C, along with automatic, machine checked refinement proofs in Isabelle/HOL. Our a...