6829 search results - page 1064 / 1366 » Quantitative Generalizations of Languages |
196
click to vote
SPIN
2007
Springer
16 years 24 days 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...
180
click to vote
ACSD
2006
IEEE
16 years 23 days 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...
183
Voted
CODES
2006
IEEE
16 years 23 days 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...
186
click to vote
COMPSAC
2006
IEEE
16 years 23 days 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 ...
165
Voted
HICSS
2006
IEEE
16 years 23 days 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...