4814 search results - page 667 / 963 » Combining abstract interpreters |
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The complexity of today's embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever poss...
104
click to vote
IFIP12
2009
14 years 11 months ago
2009
Abstract Intelligent calendar assistants have many years ago attracted researchers from the areas of scheduling, machine learning and human computer interaction. However, all effor...
123
click to vote
TMI
2011
14 years 8 months ago
2011
Abstract—Optical Coherence Tomography (OCT) is a noninvasive, depth-resolved imaging modality that has become a prominent ophthalmic diagnostic technique. We present a semiautoma...
TVLSI
2011
14 years 8 months ago
2011
Abstract—Bitstream compression is important in reconfigurable system design since it reduces the bitstream size and the memory requirement. It also improves the communication ba...
147
click to vote
WINET
2011
14 years 8 months ago
2011
Abstract—We consider the problem of aggregation convergecast scheduling in wireless sensor networks. Aggregation convergecast differs from regular convergecast in that it accommo...