5330 search results - page 394 / 1066 » The Performability Tool P'ility |
222
click to vote
CODES
2000
IEEE
16 years 1 days ago
2000
IEEE
The concept of system-on-a-chip is becoming increasingly popular for the integration of complex systems. New types of processor cores are now available that enable the designer to...
191
click to vote
SBRN
2000
IEEE
16 years 1 hour ago
2000
IEEE
This paper explores basic aspects of the immune system and proposes a novel immune network model with the main goals of clustering and filtering unlabeled numerical data sets. It ...
224
click to vote
VRST
2000
ACM
15 years 12 months ago
2000
ACM
In this paper we present a new framework in Augmented Reality context for rapid evaluation of prototypes before manufacture. The design of such prototypes is a time consuming proc...
170
click to vote
ICAIL
1999
ACM
15 years 12 months ago
1999
ACM
Intelligent Jurisprudence Research (IJR) is a concept that consists in performing jurisprudence research with a computational tool that employs Artificial Intelligence (AI) techni...
218
click to vote
ARTS
1999
Springer
15 years 12 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...