7 search results - page 1 / 2 » Digital herders and phase transition in a voting model |
CORR
2011
Springer
12 years 11 months ago
2011
Springer
WSCG
2004
13 years 6 months ago
2004
A simple conceptual design process that runs in a virtual environment is described. The design process consists of three stages. In each of the first two stages used to create, an...
CASES
2008
ACM
13 years 6 months ago
2008
ACM
Detailed or cycle-accurate/bit-accurate (CABA) simulation is a critical phase in the design flow of embedded systems. However, with increasing system complexity, full detailed sim...
REX
1991
13 years 8 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
GECCO
2008
Springer
13 years 5 months ago
2008
Springer
Voice over IP (VoIP) speech quality estimation is crucial to providing optimal Quality of Service (QoS). This paper seeks to provide improved speech quality estimation models with...