10575 search results - page 1705 / 2115 » Programming Languages |
182
click to vote
ICSEA
2006
IEEE
16 years 26 days ago
2006
IEEE
— Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware....
208
click to vote
ICSM
2006
IEEE
16 years 26 days ago
2006
IEEE
Programming languages provide various mechanisms to support information hiding. One problem with information hiding, however, is that providing a stable interface behind which to ...
150
click to vote
IEEEARES
2006
IEEE
16 years 26 days ago
2006
IEEE
Java and the Java Virtual Machine (JVM) are a predominant programming language and deployment platform for complex, component-oriented systems. In current standard Java runtime sy...
167
click to vote
ITNG
2006
IEEE
16 years 25 days ago
2006
IEEE
We introduce a measurement system architecture, which has three main qualities: secure two-way transfer of measurement data, quick adaptability to different kinds of measurement ...
239
click to vote
ACL2
2006
ACM
16 years 24 days ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...