4636 search results - page 565 / 928 » Modelling and Validation with VipTool |
172
click to vote
PRDC
2005
IEEE
16 years 13 days ago
2005
IEEE
Supporting high availability by checkpointing and switching to a backup upon failure of a primary has a cost. Trade-off studies help system architects to decide whether higher ava...
175
click to vote
SPAA
2005
ACM
16 years 13 days ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
171
click to vote
ICANN
2005
Springer
16 years 12 days ago
2005
Springer
Cricket females perform phonotaxis towards the specific sounds produced by male crickets. By means of a well-tuned peripheral auditory system the cricket is able to extract direct...
208
click to vote
MIDDLEWARE
2005
Springer
16 years 11 days ago
2005
Springer
Sensor-based services propose to gather, manage, analyze, access and react to sensor data. These services are distributed over heterogeneous platforms. The complexity of the imple...
148
click to vote
CVDB
2004
ACM
16 years 9 days ago
2004
ACM
The development of applications involving multi-dimensional data sets on top of a RDBMS raises several difficulties that are not directly related to the scientific problem being ...