3116 search results - page 294 / 624 » Positively dependent types |
181
click to vote
WCET
2010
15 years 4 months ago
2010
Calculating the worst-case execution time (WCET) of real-time tasks is still a tedious job. Programmers are required to provide additional information on the program flow, analyzi...
190
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
Handwritten document analysis and recognition deals with several different application fields. In document processing, one of the first problems that must be solved is data acquis...
184
click to vote
EJWCN
2010
15 years 1 months ago
2010
Wireless sensor networks are often required to provide event miss-ratio assurance for a given event type. To meet such assurances along with minimum energy consumption, this paper ...
205
click to vote
ASUNAM
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—Many important real-world systems, modeled naturally as complex networks, have heterogeneous interactions and complicated dependency structures. Link prediction in such ...
208
Voted
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challeng...