10666 search results - page 1753 / 2134 » Quantum programming languages |
175
click to vote
AADEBUG
2005
Springer
15 years 10 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
154
click to vote
GPCE
2005
Springer
15 years 10 months ago
2005
Springer
One of the themes in building reusable and maintainable software is identifying similarities and designing generic solutions to unify similarity patterns. In this paper, we analyze...
149
click to vote
LCTRTS
2005
Springer
15 years 10 months ago
2005
Springer
The limited built-in configurability of Linux can lead to expensive code size overhead when it is used in the embedded market. To overcome this problem, we propose the applicatio...
125
click to vote
SCOPES
2005
Springer
15 years 10 months ago
2005
Springer
Software used in embedded systems is subject to strict timing and space constraints. The growing software complexity creates an urgent need for fast program execution under the co...
126
click to vote
SIGADA
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...