6409 search results - page 1105 / 1282 » A Computational Algorithm for Origami Design |
98
Voted
INFOCOM
2006
IEEE
15 years 7 months ago
2006
IEEE
Skype is a peer-to-peer VoIP client developed by KaZaa in 2003. Skype claims that it can work almost seamlessly across NATs and firewalls and has better voice quality than the MSN...
109
click to vote
ISORC
2006
IEEE
15 years 7 months ago
2006
IEEE
Convenience, reliability, and effectiveness of automatic memory management have long been established in modern systems and programming languages such as Java. The timeliness req...
126
Voted
RSP
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
114
click to vote
SP
2006
IEEE
15 years 7 months ago
2006
IEEE
Linux is the most popular open source project. The Linux random number generator is part of the kernel of all Linux distributions and is based on generating randomness from entrop...
112
Voted
TAICPART
2006
IEEE
15 years 7 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...