7404 search results - page 329 / 1481 » Software performance antipatterns |
202
click to vote
DT
2006
15 years 6 months ago
2006
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...
153
click to vote
TOCS
2008
15 years 6 months ago
2008
Component-based software structuring principles are now commonly and successfully applied at the application level; but componentisation is far less established when it comes to b...
167
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
194
click to vote
SPAA
2009
ACM
16 years 6 months ago
2009
ACM
Thread-level speculation (TLS) is a technique that allows parts of a sequential program to be executed in parallel. TLS ensures the parallel program's behaviour remains true ...
170
click to vote
MOBISYS
2004
ACM
16 years 5 months ago
2004
ACM
ZebraNet is a mobile, wireless sensor network in which nodes move throughout an environment working to gather and process information about their surroundings [10]. As in many sen...