7766 search results - page 1237 / 1554 » Testing Nondeterminate Systems |
125
click to vote
DCC
2002
IEEE
16 years 3 months ago
2002
IEEE
With the emergence of software delivery platforms such as Microsoft's .NET, code compression has become one of the core enabling technologies strongly affecting system perfor...
248
Voted
ICDT
2010
ACM
16 years 1 months ago
2010
ACM
We consider a fragment of XPath named `forward-XPath', which contains all descendant and rightwards sibling axes as well as data equality and inequality tests. The satisfiabi...
101
click to vote
ICCAD
2008
IEEE
16 years 22 days ago
2008
IEEE
This paper describes an efficient implementation of an effective sequential synthesis operation that uses induction to detect and merge sequentially-equivalent nodes. State-encodi...
127
Voted
ICCAD
2006
IEEE
16 years 22 days ago
2006
IEEE
– In real-time data-dominated communication and multimedia processing applications, due to the manipulation of large sets of data, a multi-layer memory hierarchy is used to enhan...
107
Voted
ICCAD
2004
IEEE
16 years 22 days ago
2004
IEEE
This paper presents the Routing Cost Valleys (RCV) algorithm – the first published algorithm that simultaneously optimizes all short- and long-path timing constraints in a Field...