658 search results - page 91 / 132 » Slicing Methods Using Static and Dynamic Analysis Informatio... |
CHI
2005
ACM
14 years 8 months ago
2005
ACM
This paper describes a new collaboration technology that is based on the support of lightweight, informally structured, opportunistic activities featuring heterogeneous threads of...
ICCAD
2001
IEEE
14 years 4 months ago
2001
IEEE
Methods based on Boolean satisfiability (SAT) typically use a Conjunctive Normal Form (CNF) representation of the Boolean formula, and exploit the structure of the given problem ...
RIDE
1998
IEEE
13 years 12 months ago
1998
IEEE
This paper presents a method of automatically creating hypermedia documents from conventional transcriptions of television programs. Using parallel text alignment techniques, the ...
ICCAD
1996
IEEE
13 years 11 months ago
1996
IEEE
The analysis of CMOS VLSI circuit switching current has become an increasingly important and difficult task from both a VLSI design and simulation software perspective. This paper...
ASUNAM
2009
IEEE
14 years 2 months ago
2009
IEEE
In order to understand the evolution of online identities, we measured the correlation between past and current representations of self on the MySpace social network. We applied s...