3718 search results - page 81 / 744 » Programming by Integration in Robotics |
WWW
2001
ACM
15 years 10 months ago
2001
ACM
We present the design and implementation of XEBRA system. XEBRA is an integrated programming environment for XML processing and browsing on which users can build their own XML pro...
ANOR
2002
14 years 9 months ago
2002
The Airline Crew Assignment Problem (ACA) consists of assigning lines of work to a set of crew members such that a set of activities is partitioned and the costs for that assignmen...
EUROPAR
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. A practical methodology for compilation of trustworthy realtime programs is introduced. It combines new program development and timing analysis techniques with traditiona...
TCS
2008
14 years 9 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
114
click to vote
TVLSI
2010
14 years 4 months ago
2010
Program code in a computer system can be altered either by malicious security attacks or by various faults in microprocessors. At the instruction level, all code modifications are ...