2852 search results - page 271 / 571 » High Performance Architectures and Compilers |
139
click to vote
WOA
2000
15 years 5 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
123
click to vote
WOWMOM
2009
ACM
15 years 10 months ago
2009
ACM
The quality of Internet access for mobile users may suffer from highly variable communication characteristics (packet loss, delay, throughput) and from temporary disconnections. T...
142
click to vote
ICSM
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper is a summary of the author’s thesis that presents a model and an environment for recovering the high level design of legacy software systems based on user defined ar...
131
click to vote
TIFS
2008
15 years 4 months ago
2008
Abstract--Network intrusion detection systems (NIDSs) monitor network traffic for suspicious activity and alert the system or network administrator. With the onset of gigabit netwo...
247
click to vote
VLSISP
2008
15 years 3 months ago
2008
Abstract-- This paper presents the architecture of an Asynchronous Array of simple Processors (AsAP), and evaluates its key architectural features as well as its performance and en...