3228 search results - page 388 / 646 » Basics of Compiler Design |
164
click to vote
KBSE
2003
IEEE
16 years 15 days ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...
171
click to vote
ELPUB
2003
ACM
16 years 14 days ago
2003
ACM
: In scientific digital libraries many documents such as publications, technical reports, theses, etc. could be used as basic data supports for distance learning in the universitie...
179
click to vote
SOFTVIS
2003
ACM
16 years 14 days ago
2003
ACM
The paper presents a new 3D representation for visualizing large software systems. The origins of this representation can be directly traced to the SeeSoft metaphor. This work ext...
169
click to vote
AUSAI
2003
Springer
16 years 14 days ago
2003
Springer
Behavior-based artificial intelligent system is to derive the complicated behaviors by selecting appropriate one from a set of basic behaviors. Many robot systems have used behavi...
160
click to vote
CAISE
2003
Springer
16 years 14 days ago
2003
Springer
Bioinformatics research groups require information systems keeping track of experiments and their results. However, current solutions are often ad-hoc, difficult to maintain, exten...