1878 search results - page 108 / 376 » Efficient Performance Models in Component-Based Software Eng... |
136
click to vote
CODES
2006
IEEE
15 years 4 months ago
2006
IEEE
A key step in the design of multi-rate real-time systems is the determination of buffer capacities. In our multi-processor system, we apply back-pressure as caused by bounded buff...
131
click to vote
ACMICEC
2004
ACM
15 years 8 months ago
2004
ACM
This paper presents a loosely coupled service-composition paradigm. This paradigm employs a distributed data flow that differs markedly from centralized information flow adopted b...
159
click to vote
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
158
click to vote
WCRE
1999
IEEE
15 years 7 months ago
1999
IEEE
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...
153
click to vote
TCBB
2011
14 years 10 months ago
2011
—Protein identification is a key and essential step in mass spectrometry (MS) based proteome research. To date, there are many protein identification strategies that employ eithe...