566 search results - page 44 / 114 » Adaptive Online Program Analysis |
120
Voted
OSDI
2008
ACM
16 years 2 months ago
2008
ACM
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous bu...
115
click to vote
RTSS
2007
IEEE
15 years 8 months ago
2007
IEEE
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...
138
Voted
APIN
1998
15 years 2 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
126
click to vote
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...
117
click to vote
SNPD
2008
15 years 3 months ago
2008
In the social reality, objects communicate with each other by means of assuming roles to establish collaboration, and then can adaptively change their roles to obtain other intera...