3653 search results - page 437 / 731 » On Recognizable Timed Languages |
155
click to vote
ASPLOS
2000
ACM
15 years 11 months ago
2000
ACM
Processors execute the full dynamic instruction stream to arrive at the final output of a program, yet there exist shorter instruction streams that produce the same overall effec...
154
click to vote
SIGSOFT
2000
ACM
15 years 11 months ago
2000
ACM
In an increasingly popular model of software distribution, software is developed in one computing environment and deployed in other environments by transfer over the internet. Ext...
171
click to vote
BIRTHDAY
2000
Springer
15 years 11 months ago
2000
Springer
The Oberon programming language and system, subsequently called the Oberon technology, are well known in the software research community. Few applications, however, exist outside ...
176
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
The development of large software systems demands intensive cooperation among multiple project team members with different responsibilities. The development process is often distr...
185
click to vote
VLSID
1999
IEEE
15 years 11 months ago
1999
IEEE
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...