4067 search results - page 577 / 814 » Programs for Applying Symmetries |
150
click to vote
C5
2003
IEEE
15 years 11 months ago
2003
IEEE
1 Croquet [18] is a computer software architecture built from the ground up with a focus on deep collaboration between teams of users. It is a totally open, totally free, highly p...
165
click to vote
DISCEX
2003
IEEE
15 years 11 months ago
2003
IEEE
Under sponsorship of the Defense Advanced Research Projects Agency’s (DARPA) Fault Tolerant Networks (FTN) program, The Johns Hopkins University Applied Physics Laboratory (JHU/...
161
click to vote
ISQED
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
163
click to vote
IWPC
2003
IEEE
15 years 11 months ago
2003
IEEE
A lightweight fact extractor is presented that utilizes XML tools, such as XPath and XSLT, to extract static information from C++ source code programs. The source code is first co...
179
click to vote
RTSS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a quantification of the timing effects that advanced processor features like data and instruction cache, pipelines, branch prediction units and out-oforder ex...