Sciweavers

396 search results - page 31 / 80
» Argument Controlled Profiling
Sort
View
ICSR
2000
Springer
13 years 11 months ago
A New Control Structure for Transformation-Based Generators
A serious problem of most transformation-based generators is that they are trying to achieve three mutually antagonistic goals simultaneously: 1) deeply factored operators and oper...
Ted J. Biggerstaff
ICFP
2007
ACM
14 years 7 months ago
Relating complexity and precision in control flow analysis
We analyze the computational complexity of kCFA, a hierarchy of control flow analyses that determine which functions may be applied at a given call-site. This hierarchy specifies ...
David Van Horn, Harry G. Mairson
APLAS
2005
ACM
14 years 1 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
RECSYS
2010
ACM
13 years 8 months ago
Recommending twitter users to follow using content and collaborative filtering approaches
Recently the world of the web has become more social and more real-time. Facebook and Twitter are perhaps the exemplars of a new generation of social, real-time web services and w...
John Hannon, Mike Bennett, Barry Smyth
IAJIT
2008
319views more  IAJIT 2008»
13 years 7 months ago
Diagnosis of Distillation Column Problems Using New Generation Gamma-Ray Scanning Gauge
: The Gamma-Ray scanning technique effective means for the diagnosis and identification of installations and process's problems in general and in particular in the case of dis...
Khalid Laraki, Rachad Alami, Rajaa El Morsli, Abde...