2045 search results - page 351 / 409 » The Practice of Instructional Design: The Process and Its Ap... |
192
click to vote
ZUM
1997
Springer
15 years 10 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
191
click to vote
ICCAD
1997
IEEE
15 years 9 months ago
1997
IEEE
The relentless push for high performance in custom digital circuits has led to renewed emphasis on circuit optimization or tuning. The parameters of the optimization are typically...
138
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
Conventionally, Web pages have been recognized as documents described by HTML. Image data, such as photographs, logos, maps, illustrations, and decorated text, have been treated a...
177
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract--This paper summarizes a special session on multicore/multi-processor system-on-chip (MPSoC) programming challenges. Wireless multimedia terminals are among the key driver...
166
click to vote
DGO
2008
15 years 7 months ago
2008
UrbanSim is a modeling system for simulating the development of urban regions over periods of 20-30 years. Its purpose is to help evaluate alternative proposed policies and transp...