2357 search results - page 23 / 472 » Computing Refactorings of Behavior Models |
IEEEPACT
2008
IEEE
15 years 4 months ago
2008
IEEE
One of the essential features in modern computer systems is context switching, which allows multiple threads of execution to time-share a limited number of processors. While very ...
MOBIHOC
2006
ACM
15 years 9 months ago
2006
ACM
Recent studies on mobility modeling have focused on characterizing user mobility from real traces of wireless LANs (WLANs) and creating mobility models based on such characterizat...
130
click to vote
DAC
2008
ACM
15 years 11 months ago
2008
ACM
SystemCoDesigner is an ESL tool developed at the University of Erlangen-Nuremberg, Germany. SystemCoDesigner offers a fast design space exploration and rapid prototyping of behavi...
101
click to vote
DAC
2003
ACM
15 years 11 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
ICMI
2009
Springer
15 years 4 months ago
2009
Springer
Human nonverbal behavior recognition from multiple cues and modalities has attracted a lot of interest in recent years. Despite the interest, many research questions, including th...