4693 search results - page 860 / 939 » Verifying Hybrid Systems |
111
click to vote
IEEEPACT
2007
IEEE
15 years 7 months ago
2007
IEEE
With the advent of chip-multiprocessors, we are faced with the challenge of parallelizing performance-critical software. Transactional memory (TM) has emerged as a promising progr...
109
click to vote
SAC
2004
ACM
15 years 6 months ago
2004
ACM
This paper presents an hybrid adaptive system for induction of forest of trees from data streams. The Ultra Fast Forest Tree system (UFFT) is an incremental algorithm, with consta...
87
Voted
GECCO
2004
Springer
15 years 6 months ago
2004
Springer
We discuss the computational complexity of random 2D Ising spin glasses, which represent an interesting class of constraint satisfaction problems for black box optimization. Two ex...
100
click to vote
ISCC
2002
IEEE
15 years 5 months ago
2002
IEEE
–– The last few years have seen the evolution of telecommunications from the classic architectures, mainly based on static and wired structures, to the new mobile solutions bas...
119
Voted
SSD
1999
Springer
15 years 4 months ago
1999
Springer
There is an increasing need to integrate spatial index structures into commercial database management systems. In geographic information systems (GIS), huge amounts of information ...