4940 search results - page 671 / 988 » On the Complexity of Universal Programs |
147
click to vote
SCOPES
2005
Springer
16 years 3 days 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...
153
click to vote
SIGADA
2005
Springer
16 years 3 days 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...
151
click to vote
TACAS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
155
click to vote
WAIM
2005
Springer
16 years 3 days ago
2005
Springer
We address the problem that current Web applications present mainly the content-centric information, but lack cues and browsing mechanisms for online social information. After summ...
166
Voted
ASSETS
2004
ACM
16 years 2 days ago
2004
ACM
The hierarchical structure of a program can be quite complex. As such, many Integrated Development Environments (IDEs) provide graphical representations of program structure at di...