6829 search results - page 1064 / 1366 » Quantitative Generalizations of Languages |
222
click to vote
SPIN
2007
Springer
16 years 1 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
201
click to vote
ACSD
2006
IEEE
16 years 1 months ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...
203
click to vote
CODES
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we present a methodology for designing a pipeline of accelerators for an application. The application is modeled using sequential C language with simple stylization...
199
click to vote
COMPSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
Modern Web servers need to process multiple requests concurrently in order to fulfill the workload demands expected of them. Concurrency can be implemented in a Web server using ...
190
click to vote
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
— System software strongly relies on the availability of static as well as dynamic adaptation techniques. With AspectOriented Programming (AOP) it is now possible to adapt even p...