4067 search results - page 337 / 814 » Programs for Applying Symmetries |
171
click to vote
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...
174
click to vote
GLVLSI
2006
IEEE
16 years 26 days ago
2006
IEEE
In this paper we have applied statistical sizing in an industrial setting. Efficient implementation of the statistical sizing algorithm is achieved by utilizing a dedicated interi...
148
click to vote
ICRA
2006
IEEE
16 years 26 days ago
2006
IEEE
— We present a control approach that uses a library of trajectories to establish a global control law or policy. This is an alternative to methods for finding global policies ba...
195
click to vote
MOMPES
2006
IEEE
16 years 25 days ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...
188
click to vote
PLDI
2006
ACM
16 years 23 days ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...