Sciweavers

3257 search results - page 509 / 652
» Some Results on Effective Randomness
Sort
View
ICSE
2005
IEEE-ACM
16 years 6 months ago
An empirical evaluation of test case filtering techniques based on exercising complex information flows
Some software defects trigger failures only when certain complex information flows occur within the software. Profiling and analyzing such flows therefore provides a potentially i...
David Leon, Wes Masri, Andy Podgurski
ICFP
2002
ACM
16 years 6 months ago
Typing dynamic typing
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...
Arthur I. Baars, S. Doaitse Swierstra
ESORICS
2002
Springer
16 years 6 months ago
TINMAN: A Resource Bound Security Checking System for Mobile Code
Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource...
Aloysius K. Mok, Weijiang Yu
ICCD
2003
IEEE
130views Hardware» more  ICCD 2003»
16 years 3 months ago
On Combining Pinpoint Test Set Relaxation and Run-Length Codes for Reducing Test Data Volume
This paper presents a pinpoint test set relaxation method for test compression that maximally derives the capability of a run-length encoding technique such as Golomb coding or fr...
Seiji Kajihara, Yasumi Doi, Lei Li, Krishnendu Cha...
ICCAD
2007
IEEE
101views Hardware» more  ICCAD 2007»
16 years 3 months ago
Analog placement with common centroid constraints
— In order to reduce parasitic mismatch in analog circuits, some groups of devices are required to share a common centroid while being placed. Devices are split into smaller ones...
Qiang Ma, Evangeline F. Y. Young, K. P. Pun