7971 search results - page 178 / 1595 » On unbounded operators and applications |
172
click to vote
CN
2004
15 years 6 months ago
2004
Open networks are often insecure and provide an opportunity for viruses and DDOS activities to spread. To make such networks more resilient against these kind of threats, we propo...
186
click to vote
COR
2011
15 years 1 months ago
2011
The purpose of this paper is twofold. First, it explores the issue of producing valid, compact round-robin sports schedules by considering the problem as one of graph colouring. U...
203
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
159
click to vote
HICSS
2007
IEEE
16 years 23 days ago
2007
IEEE
— This paper provides a bound on the number of numeric operations (fixed or floating point) that can safely be performed before accuracy is lost. This work has important implic...
141
click to vote
DATE
2006
IEEE
16 years 15 days ago
2006
IEEE
Resonant clocking holds the promise of trading speed for energy in CMOS circuits that can afford to operate at low frequency, like hearing aids. An experimental chip with 110k tra...