3473 search results - page 353 / 695 » Aspect-Oriented Programming with C |
194
click to vote
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
161
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
Evo Indent http://www.dcs.kcl.ac.uk/staff/W.Langdon/ evo_indent/ is a PHP web server based user driven genetic algorithm which finds good C code layouts generated by GNU indent. ...
143
Voted
FASE
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes the design and implementation of a tool for C programs that provides run-time checks based on type information. The tool instruments a program to monitor the t...
152
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper is about gate sizing under a statistical delay model. It shows we can solve the gate sizing problem exactly for a given statistical delay model. The formulation used al...
150
click to vote
ASPLOS
2000
ACM
15 years 11 months ago
2000
ACM
OceanStore is a utility infrastructure designed to span the globe and provide continuous access to persistent information. Since this infrastructure is comprised of untrusted serv...