4924 search results - page 297 / 985 » A Software System for Spatial Data Analysis and Modeling |
167
click to vote
CASES
2006
ACM
16 years 4 days ago
2006
ACM
Technology trends have led to the advent of multi-core chips in the form of both general-purpose chip multiprocessors (CMPs) and embedded multi-processor systems-on-a-chip (MPSoCs...
185
click to vote
ICPADS
2002
IEEE
15 years 11 months ago
2002
IEEE
Video-on-demand (VoD) systems have traditionally been built on the client-server architecture, where a video server stores, retrieves, and transmits video data to video clients fo...
170
click to vote
ICCD
2005
IEEE
15 years 11 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
167
click to vote
SE
2007
15 years 7 months ago
2007
: Developing and maintaining large software systems can require the usage of a variety of different automatic test tools. The complexity of the tools leads to considerable overhead...
178
click to vote
CAV
2003
Springer
15 years 9 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...