1755 search results - page 96 / 351 » An efficient simulation algorithm based on abstract interpre... |
151
click to vote
ASPLOS
2004
ACM
15 years 8 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
124
click to vote
JUCS
2006
15 years 3 months ago
2006
Abstract: Advances in technology now make it possible to integrate hundreds of cores (e.g. general or special purpose processors, embedded memories, application specific components...
105
click to vote
IJCSA
2007
15 years 2 months ago
2007
Power system defensive islanding is an efficient way to avoid catastrophic wide area blackouts, such as the 2003 North American Blackout. Finding defensive islands of large-scale ...
141
click to vote
TWC
2010
14 years 9 months ago
2010
We consider a frequency division multiplexed (FDM) system where each user employs a continuous phase modulation (CPM), serially concatenated with an outer code through an interleav...
122
click to vote
DAWAK
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We investigate the problem of finding frequent patterns in a continuous stream of transactions. It is recognized that the approximate solutions are usually sufficient and...