2180 search results - page 233 / 436 » Performance analysis of concurrent systems with early evalua... |
220
click to vote
SAFECOMP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
223
click to vote
APN
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Coloured Petri nets (CP-nets or CPNs) is a widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing, simulating, ...
358
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—Code updates, such as those for debugging purposes, are frequent and expensive in the early development stages of wireless sensor network applications. We propose AdapCode, a re...
161
click to vote
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
Mole pattern changes are important cues in detecting melanoma at an early stage. As a first step to automatically register mole pattern changes from skin images, this paper prese...
218
click to vote
IPPS
2010
IEEE
15 years 5 months ago
2010
IEEE
Innovative scientific applications and emerging dense data sources are creating a data deluge for highend computing systems. Processing such large input data typically involves cop...