5451 search results - page 622 / 1091 » Typed Operational Semantics |
166
click to vote
ICPADS
2008
IEEE
16 years 1 months ago
2008
IEEE
Networks On-Chip (NoC) emerged as a promising communication medium for future MPSoC development. To serve this purpose, the NoCs have to be able to efficiently exchange all types...
162
click to vote
PG
2007
IEEE
16 years 1 months ago
2007
IEEE
We overview a new method for computing the arrangement of semi-algebraic curves. A subdivision approach is used to compute the topology of the algebraic objects and to segment the...
148
click to vote
IROS
2006
IEEE
16 years 25 days ago
2006
IEEE
— This paper proposes power assist controllers that realize control input minimization using resonance of passive elements. To satisfy the objective, two types of systems are con...
142
click to vote
GLVLSI
2005
IEEE
16 years 12 days ago
2005
IEEE
We present simulations for ultra-thin body, fully-depleted, double-gate (DG) silicon-on-insulator (SOI) devices that can be readily optimized for both static power loss and perfor...
182
click to vote
SIGCSE
2004
ACM
16 years 6 days ago
2004
ACM
This paper describes two design patterns that are powerful tools to help teach how semaphores are used to solve synchronization problems. The patterns are general enough to be use...