3299 search results - page 301 / 660 » A general mathematics of names |
168
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Retroactivity is a parasitic phenomenon that changes the desired input/output response of a system when it is connected to “downstream” systems. Downstream and upstream ref...
187
click to vote
IEEEPACT
2008
IEEE
16 years 1 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 ...
196
click to vote
PPDP
2007
Springer
16 years 25 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
183
click to vote
IPPS
2006
IEEE
16 years 23 days ago
2006
IEEE
As the desire of scientists to perform ever larger computations drives the size of today’s high performance computers from hundreds, to thousands, and even tens of thousands of ...
192
click to vote
PODC
2006
ACM
16 years 20 days ago
2006
ACM
Coloring the nodes of a graph with a small number of colors is one of the most fundamental problems in theoretical computer science. In this paper, we study graph coloring in a di...