5451 search results - page 989 / 1091 » Typed Operational Semantics |
120
click to vote
EENERGY
2010
15 years 7 months ago
2010
Fires or toxic gas leakages may have grave consequences like significant pecuniary loss or even lead to human victims. In this paper we present an autonomous wireless sensor syste...
134
Voted
CPAIOR
2006
Springer
15 years 7 months ago
2006
Springer
We show that various duals that occur in optimization and constraint satisfaction can be classified as inference duals, relaxation duals, or both. We discuss linear programming, su...
149
click to vote
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
In current multi-media systems major parts of the functionality consist of software tasks executed on a set of concurrently operating processors. Those tasks interfere with each o...
138
Voted
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
101
click to vote
CAINE
2007
15 years 4 months ago
2007
We present a pulmonary alveolar epithelial cell model and its simulation results aimed to provide mechanistic insight into biological principles that underlie alveolar morphogenes...