548 search results - page 71 / 110 » Adding Real Time to Formal Program Development |
87
Voted
ICST
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract—Developers often make multiple changes to software. These changes are introduced to work cooperatively or to accomplish separate goals. However, changes might not intera...
91
Voted
ICRA
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— In the following work, we develop a characterization method using miniature fiberoptic position sensors for the Micromechanical Flying Insect (MFI)1 , a centimeter siz...
111
click to vote
ICAI
2004
14 years 11 months ago
2004
To ensure space flight safety, it is necessary to monitor myriad sensor readings on the ground and in flight. Since a space shuttle has many sensors, monitoring data and drawing c...
WOTUG
2008
14 years 11 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
197
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
A memory leak in a garbage-collected program occurs when the program inadvertently maintains references to objects that it no longer needs. Memory leaks cause systematic heap grow...