1888 search results - page 334 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
130
Voted
SENSYS
2010
ACM
15 years 12 days ago
2010
ACM
Ecologists instrument ecosystems to collect time series representing the evolution in time and space of relevant abiotic and biotic factors. Sensor networks promise to improve on ...
160
click to vote
CORR
2009
Springer
15 years 10 days ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
154
Voted
NAR
2011
14 years 5 months ago
2011
The Laminin(LM)-database, hosted at http://www .lm.lncc.br, is the first database focusing a noncollagenous extracellular matrix protein family, the LMs. Part of the knowledge ava...
143
Voted
FPGA
2006
ACM
15 years 6 months ago
2006
ACM
The development of Reed-Solomon (RS) codes has allowed for improved data transmission over a variety of communication media. Although Reed-Solomon decoding provides a powerful def...
144
Voted
WWW
2005
ACM
16 years 3 months ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...