Sciweavers

7197 search results - page 1353 / 1440
» On the computational power of BlenX
Sort
View
ICSE
2009
IEEE-ACM
15 years 4 months ago
Architecting Robustness and Timeliness in a New Generation of Aerospace Systems
Aerospace systems have strict dependability and real-time requirements, as well as a need for flexible resource reallocation and reduced size, weight and power consumption. To cope...
José Rufino, João Craveiro, Paulo Ve...
DEBU
2010
173views more  DEBU 2010»
15 years 3 months ago
uFLIP: Understanding the Energy Consumption of Flash Devices
Understanding the energy consumption of flash devices is important for two reasons. First, energy is emerging as a key metric for data management systems. It is thus important to ...
Matias Bjørling, Philippe Bonnet, Luc Bouga...
DMTCS
2010
137views Mathematics» more  DMTCS 2010»
15 years 3 months ago
Deterministic recognizability of picture languages with Wang automata
We present a model of automaton for picture language recognition, called Wang automaton, which is based on labeled Wang tiles. Wang automata combine features of both online tessell...
Violetta Lonati, Matteo Pradella
FCSC
2010
170views more  FCSC 2010»
15 years 3 months ago
Formal verification of concurrent programs with read-write locks
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
Ming Fu, Yu Zhang, Yong Li
IJPP
2010
156views more  IJPP 2010»
15 years 3 months ago
ForestGOMP: An Efficient OpenMP Environment for NUMA Architectures
Exploiting the full computational power of current hierarchical multiprocessor machines requires a very careful distribution of threads and data among the underlying non-uniform ar...
François Broquedis, Nathalie Furmento, Bric...
« Prev « First page 1353 / 1440 Last » Next »