1729 search results - page 261 / 346 » Deterministic Expressions in C |
ARTS
1997
Springer
14 years 1 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
AIIA
1995
Springer
14 years 1 months ago
1995
Springer
Genetic Programming (GP) is a method of automatically inducing programs by representing them as parse trees. In theory, programs in any computer languages can be translated to par...
CHI
1995
ACM
14 years 1 months ago
1995
ACM
Currently, there are many hypertext-like tools and database retrieval systems that use keyword search as a means of navigation. While useful for certain tasks, keyword search is i...
COST
1995
Springer
14 years 1 months ago
1995
Springer
: This paper is about GLASS2 , a distributed multimedia system that is currently under development. The multimedia department of the IBM European Networking Center in Heidelberg, G...
INFOCOM
1995
IEEE
14 years 1 months ago
1995
IEEE
Modern high speed networks and ATM networks in particular use resource reservation as a basic means of establishing communications. One-way on-the- y reservation is a method for...