2272 search results - page 105 / 455 » Validity Invariants and Effects |
JDCTA
2010
13 years 4 months ago
2010
This paper describes a unique capacitively-sensed MEMS-based gyroscope, which utilizes rotating carrier rotate as driven force and responds to an external angular rate of yaw due ...
ICRA
2000
IEEE
14 years 2 months ago
2000
IEEE
In this paper we illustrate a methodology for modeling and analyzing flexible feeders using generalized semi-Markov process (GSMP) models. Working through the simple case consisti...
ESOP
1999
Springer
14 years 2 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
CAV
2008
Springer
14 years 3 days ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
BMCBI
2010
13 years 10 months ago
2010
Background: Recent advances in antibody microarray technology have made it possible to measure the expression of hundreds of proteins simultaneously in a competitive dual-colour a...