62 search results - page 6 / 13 » Advanced SPIN Tutorial |
ISPD
1998
ACM
13 years 12 months ago
1998
ACM
Performance-driven physical design is becoming more important as advances in IC technologies enable gigahertz operating frequencies. These same IC technologies, however, exhibit d...
MTA
2008
13 years 7 months ago
2008
DVB-H is the newly standardized extension to DVB-T, aiming at the provision of IP datacasting (IPDC) services to mobile terminals. This tutorial paper outlines the structure of an ...
SIGMOD
2010
ACM
14 years 15 days ago
2010
ACM
Information extraction (IE) — the problem of extracting structured information from unstructured text — has become an increasingly important topic in recent years. A SIGMOD 20...
ITS
2010
Springer
14 years 14 days ago
2010
Springer
The traditional, well established approach to finding out what works in education research is to run a randomized controlled trial (RCT) using a standard pretest and posttest desig...
SPIN
2010
Springer
13 years 5 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...