12452 search results - page 2082 / 2491 » An exploration of program as language |
150
click to vote
SCOPES
2005
Springer
16 years 8 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...
158
click to vote
SIGADA
2005
Springer
16 years 8 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...
160
Voted
WAIM
2005
Springer
16 years 8 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...
187
click to vote
ACMSE
2004
ACM
16 years 7 days ago
2004
ACM
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...
160
click to vote
CF
2004
ACM
16 years 6 days ago
2004
ACM
Current processor and multiprocessor architectures are almost all based on the Von Neumann paradigm. Based on this paradigm, one can build a general-purpose computer using very fe...