2673 search results - page 237 / 535 » Guided Static Analysis |
145
click to vote
TWC
2008
15 years 5 months ago
2008
Abstract--The capacity of a general multiuser CDMA jamming channel is analyzed when the receiver has or lacks jammer state information. Analyses are carried out for noncooperative ...
250
click to vote
ISOLA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The Implicit Path Enumeration Technique (IPET) has become widely accepted as a powerful technique to compute upper bounds on the Worst-Case Execution Time (WCET) of time-...
201
click to vote
WCET
2010
15 years 3 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
159
click to vote
CORR
2011
Springer
15 years 29 days ago
2011
Springer
Abstract. Most instruments - formalisms, concepts, and metrics for social networks analysis fail to capture their dynamics. Typical systems exhibit different scales of dynamics, ra...
157
Voted
ISBI
2006
IEEE
16 years 6 months ago
2006
IEEE
Protein subcellular locations, as an important property of proteins, are commonly learned using fluorescence microscopy. Previous work by our group has shown that automated analys...