3483 search results - page 267 / 697 » Using Subject-Oriented Modeling to Develop Jini Applications |
199
click to vote
IFIP
2010
Springer
14 years 12 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
155
click to vote
STTT
2010
15 years 3 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
154
click to vote
CODES
2008
IEEE
15 years 11 months ago
2008
IEEE
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...
151
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract— The need for efficient monitoring of spatiotemporal dynamics in large environmental surveillance applications motivates the use of robotic sensors to achieve sufficie...
154
click to vote
QEST
2007
IEEE
15 years 11 months ago
2007
IEEE
Previous studies have shown that buffering packets in DRAM is a performance bottleneck. In order to understand the impediments in accessing the DRAM, we developed a detailed Petri...