12981 search results - page 2524 / 2597 » Model Checking and Abstraction |
118
click to vote
HICSS
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract— The Topic Detection and Tracking (TDT) research community investigates information retrieval methods for organizing a constantly arriving stream of news articles by the...
115
click to vote
ICSM
2005
IEEE
15 years 7 months ago
2005
IEEE
Clustering layouts of software systems combine two important aspects: they reveal groups of related artifacts of the software system, and they produce a visualization of the resul...
102
click to vote
INFOCOM
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract— An ad hoc wireless network is an autonomous selforganizing system of mobile nodes connected by wireless links where nodes not in direct range communicate via intermedia...
123
click to vote
RSP
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract— John von Neumann proposed his famous architecture in a context where hardware was very expensive and bulky. His goal was to maximize functionality with minimal hardware...
ASPDAC
2005
ACM
15 years 7 months ago
2005
ACM
Abstract— The success of classical high level synthesis has been limited by the complexity of the applications it can handle, typically not large enough to necessitate the depart...