2299 search results - page 370 / 460 » Design and Use of Industrial Software Architectures |
124
click to vote
EUROMICRO
2000
IEEE
15 years 6 months ago
2000
IEEE
When designing computer systems, simulation tools are used to imitate a real or proposed system. Complex, dynamic systems can be simulated without the cost and time constraints in...
144
Voted
LCPC
1995
Springer
15 years 5 months ago
1995
Springer
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
101
click to vote
ISARCS
2010
15 years 3 months ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
117
click to vote
IC
2003
15 years 3 months ago
2003
—Civil Engineering is a discipline providing one of the most challenging environments for integration and interoperability. Great hopes are wired and wireless networking technolo...
116
click to vote
EUROSYS
2011
ACM
14 years 5 months ago
2011
ACM
Traditional agreement-based Byzantine fault-tolerant (BFT) systems process all requests on all replicas to ensure consistency. In addition to the overhead for BFT protocol and sta...