5281 search results - page 936 / 1057 » Performance evaluation of software architectures |
169
click to vote
LCR
2000
Springer
15 years 10 months ago
2000
Springer
We present a new run-time system for typed programming languages that supports object sharing in a distributed system. The key insight in this system is that the ability to distin...
230
click to vote
TASLP
2011
15 years 1 months ago
2011
Abstract—The shifted delta cepstrum (SDC) is a widely used feature extraction for language recognition (LRE). With a high context width due to incorporation of multiple frames, S...
188
click to vote
LCTRTS
2010
Springer
16 years 1 months ago
2010
Springer
With increasingly more complex Multi-Processor Systems on Chip (MPSoC) and shortening time-to- market projections, Transaction Level Modeling and Platform Aware Design are seen as...
166
click to vote
SPIN
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
162
click to vote
CGO
2008
IEEE
16 years 25 days ago
2008
IEEE
This paper describes an algorithm that takes a trace (i.e., a sequence of numbers or vectors of numbers) as input, and from that produces a sequence of loop nests that, when run, ...