11558 search results - page 2018 / 2312 » Analytics for software development |
153
click to vote
FPL
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. With the help of the FPGA technology, the boarder between hardand software has vanished. It is now possible to develop complex designs and fine grained parallel applicat...
168
click to vote
GI
2004
Springer
16 years 1 days ago
2004
Springer
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
161
click to vote
ICCS
2004
Springer
16 years 1 days ago
2004
Springer
The distributed information technologies collectively known as Web services recently have demonstrated powerful capabilities for scalable interoperation of heterogeneous software a...
183
click to vote
ICFEM
2004
Springer
16 years 22 hour ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
197
click to vote
ICFEM
2004
Springer
16 years 22 hour ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...