974 search results - page 72 / 195 » Parameterized pattern queries |
120
Voted
WCRE
1999
IEEE
15 years 6 months ago
1999
IEEE
Code duplication, plausibly caused by copying source code and slightly modifying it, is often observed in large systems. Clone detection and documentation have been investigated b...
109
click to vote
AGP
1997
IEEE
15 years 6 months ago
1997
IEEE
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...
107
Voted
ASAP
2007
IEEE
15 years 6 months ago
2007
IEEE
We present a design of a customized crossbar scheduler for on-chip networks. The proposed scheduler arbitrates on-demand interconnects, where physical topologies are identical to ...
133
click to vote
BIRTHDAY
2007
Springer
15 years 6 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
252
Voted
FM
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...