3560 search results - page 399 / 712 » integration 2008 |
234
click to vote
ATVA
2008
Springer
15 years 9 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
216
click to vote
AUTONOMICS
2008
ACM
15 years 9 months ago
2008
ACM
In this paper we describe R-P2P, a novel system meant to support the search and retrieval of data in a given area. RP2P couples opportunistic wireless communications between mobil...
228
click to vote
CASES
2008
ACM
15 years 9 months ago
2008
ACM
The Field Programmable Compressor Tree (FPCT) is a programmable compressor tree (e.g., a Wallace or Dadda Tree) intended for integration in an FPGA or other reconfigurable device....
210
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Constrained random simulation is supported by constraint solvers integrated within simulators. These constraint solvers need to be fast and memory efficient to maintain s...
220
click to vote
CDVE
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. "Web 2.0" is a term frequently mentioned in media - apparently, applications such as Wikipedia, Social Network Services, Online Shops with integrated recommende...