3228 search results - page 388 / 646 » Basics of Compiler Design |
145
click to vote
KBSE
2003
IEEE
15 years 12 months 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...
157
click to vote
ELPUB
2003
ACM
15 years 11 months 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...
157
click to vote
SOFTVIS
2003
ACM
15 years 11 months 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...
150
click to vote
AUSAI
2003
Springer
15 years 11 months 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...
140
click to vote
CAISE
2003
Springer
15 years 11 months 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...