Sciweavers

15254 search results - page 330 / 3051
» A k
Sort
View
VLSID
2007
IEEE
127views VLSI» more  VLSID 2007»
16 years 7 months ago
Scalable techniques and tools for reliability analysis of large circuits
Debayan Bhaduri, Sandeep K. Shukla, Paul Graham, M...
VLSID
2005
IEEE
108views VLSI» more  VLSID 2005»
16 years 7 months ago
Design of a Low Power Image Watermarking Encoder Using Dual Voltage and Frequency
Saraju P. Mohanty, N. Ranganathan, K. Balakrishnan
POPL
2002
ACM
16 years 7 months ago
Types as models: model checking message-passing programs
Sagar Chaki, Sriram K. Rajamani, Jakob Rehof
126
Voted
STOC
2001
ACM
117views Algorithms» more  STOC 2001»
16 years 7 months ago
Biased dictionaries with fast insert/deletes
Funda Ergün, Süleyman Cenk Sahinalp, Jon...