Export 304 results:
Attribute Grammar-based Language Extensions for Java. In Proceedings of European Conference on Object Oriented Programming (ECOOP).. 2007.
Automatic Generation of Static Fault Trees from AADL Models. DNS Workshop on Architecting Dependable Systems.. 2007.
Context-Aware Scanning for Parsing Extensible Languages. GPCE 2007 - Intl. Conference on Generative Programming and Component Engineering.. 2007.
Exploiting Automatically Inferred Constraint-Models for Building Identification in Satellite Imagery. 15th annual ACM international symposium on Advances in Geographic Information Systems (ACMGIS 2007). :35-42.. 2007.
Exploiting Problem Data to Refine Models of Constraint Problems. International Conference on Automated Planning and Scheduling (ICAPS 2007): Doctoral Consortium. :97-102.. 2007.
METHOD FOR DETERMINING RANGES FOR ALGORITHMIC VARIABLES FOR A PROCESSOR THAT USES FIXED POINT ARITHMETIC.. 2007.
Preemptive Scheduling of Multi-Criticality Systems with Varying Degrees of Execution Time Assurance. Real-Time Systems Symposium.. 2007.
Reformulating Constraint Models Using Input Data. 7th International Symposium on Abstraction, Reformulation, and Approximation (SARA 2007). 4612:402-404.. 2007.
Reformulating Constraint Satisfaction Problems to Improve Scalability. 7th International Symposium on Abstraction, Reformulation, and Approximation (SARA 2007). :64-79.. 2007.
Reformulating CSPs for Scalability with Application to Geospatial Reasoning. 13th International Conference on the Principles and Practice of Constraint Programming (CP 2007). :164-179.. 2007.
Dual-Color Photon Counting Histogram Analysis of mRFP1and EGFP in Living Cells . Biophysical Journal . 91(11):4273-4284.. 2006.
Formal Modeling and Analysis of the AFDX Frame Management Design. Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing.. 2006.