2610 search results - page 255 / 522 » codes 2007 |
178
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
This paper reports a safe regression test selection (RTS) approach that is designed for verifying Web services in an end-to-end manner. The Safe RTS technique has been integrated ...
243
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
Future software development will rely on product synthesis, i.e., the synthesis of code and non-code artifacts for a target component or application. Prior work on feature-based p...
124
Voted
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
—We present an implementation of an algorithm for constructing provably fast circuits for a class of Boolean functions with input signals that have individual starting times. We ...
178
Voted
ANSS
2007
IEEE
16 years 14 days ago
2007
IEEE
New approaches are considered for performance enhancement of discrete-event simulation software. Instead of taking a purely algorithmic analysis view, we supplement algorithmic co...
149
click to vote
CISS
2007
IEEE
16 years 13 days ago
2007
IEEE
Abstract—Capacity analysis is used to determine the fundamental tradeoff between power and spectral efficiency for coded continuous-phase frequency shift keying (CPFSK). The mod...