602 search results - page 2 / 121 » Efficient Model Checking of Applications with Input Output |
ICONS
2009
IEEE
14 years 28 days ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
TSE
2010
13 years 4 months ago
2010
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
IPPS
2007
IEEE
14 years 17 days ago
2007
IEEE
This study examined the interplay among processor speed, cluster interconnect and file I/O, using parallel applications to quantify interactions. We focused on a common case wher...
ICASSP
2011
IEEE
12 years 10 months ago
2011
IEEE
The paper discusses computationally efficient NLMS and RLS algorithms for a broad class of nonlinear filters using periodic input sequences. The class comprises all nonlinear ...
ISLPED
2007
ACM
13 years 7 months ago
2007
ACM
A hybrid energy source has become a necessary solution for micro-scale applications, like wireless sensors, because of small form factor and extended lifetime requirements. Conven...