1518 search results - page 299 / 304 » Rapid Embedded Hardware Software System Generation |
133
Voted
MPC
2010
Springer
15 years 7 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
132
click to vote
ICS
2000
Tsinghua U.
15 years 6 months ago
2000
Tsinghua U.
As the performance gap between the CPU and main memory continues to grow, techniques to hide memory latency are essential to deliver a high performance computer system. Prefetchin...
126
Voted
IAAI
2003
15 years 3 months ago
2003
We have developed a sales support system for door-todoor sales of cosmetics based on a skin-image grading system called Skin-CRM (Skin Customer Relationship Management). Our Skin-...
132
Voted
FASE
2006
Springer
15 years 6 months ago
2006
Springer
Techniques for inferring a regular language, in the form of a finite automaton, from a sufficiently large sample of accepted and nonaccepted input words, have been employed to cons...
131
Voted
EON
2008
15 years 4 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...