10802 search results - page 1777 / 2161 » Generative and developmental systems |
192
click to vote
WIDM
2005
ACM
16 years 11 days ago
2005
ACM
Clustering the results of a search helps the user to overview the information returned. In this paper, we regard the clustering task as indexing the search results. Here, an index...
170
click to vote
APN
2005
Springer
16 years 11 days ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
181
click to vote
DILS
2005
Springer
16 years 10 days ago
2005
Springer
Publicly available biological resources form a complex maze of highly heterogeneous data sources, interconnected by navigational capabilities and applications. Although it offers ...
198
click to vote
EUC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Embedded systems have strict timing and code size requirements. Retiming is one of the most important optimization techniques to improve the execution time of loops by in...
192
click to vote
FASE
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...