1154 search results - page 115 / 231 » Mathematizing C concurrency |
130
Voted
WADS
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we explore, from an algorithmic point of view, the extent to which the facial angles and combinatorial structure of a convex polyhedron determine the polyhedron—in ...
118
click to vote
ICMCS
2006
IEEE
15 years 8 months ago
2006
IEEE
Future multimedia communication system can be developed to identify, transmit and provide odors besides voice and image. In this paper, an improved odor identification method is i...
116
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Malicious network traffic, including widespread worm activity, is a growing threat to Internet-connected networks and hosts. In this paper, we propose a network intrusion detectio...
107
Voted
DAC
2006
ACM
15 years 8 months ago
2006
ACM
We present a new method for mathematically estimating the active unit power of functional units in modern microprocessors such as the Pentium 4 family. Our method leverages the ph...
124
Voted
SPAA
2005
ACM
15 years 8 months ago
2005
ACM
A weighted undirected network is ∆ growth-bounded if the number of nodes at distance 2r around any given node is at most ∆ times the number of nodes at distance r around the n...