Sciweavers

1146 search results - page 107 / 230
» Applications of the TAMPR Transformation System
Sort
View
ATVA
2006
Springer
158views Hardware» more  ATVA 2006»
15 years 8 months ago
Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
Hang Su, Graham Hemingway, Kai Chen, T. John Koo
ASC
2006
15 years 5 months ago
Optimal phase shifter coordination: A multidimensional problem
In a liberalized electricity market, the use of phase shifting transformers or other power flow controlling devices allows the transmission system operator to utilize the availabl...
Jody Verboomen, Dirk Van Hertem, Ronnie Belmans, P...
JUCS
2008
187views more  JUCS 2008»
15 years 4 months ago
Semantic Information in Medical Information Systems: Utilization of Text Mining Techniques to Analyze Medical Diagnoses
: Most information in Hospitals is still only available in text format and the amount of this data is immensely increasing. Consequently, text mining is an essential area of medica...
Andreas Holzinger, Regina Geierhofer, Felix Mö...
CODES
2005
IEEE
15 years 10 months ago
Aggregating processor free time for energy reduction
Even after carefully tuning the memory characteristics to the application properties and the processor speed, during the execution of real applications there are times when the pr...
Aviral Shrivastava, Eugene Earlie, Nikil D. Dutt, ...
ICIP
2003
IEEE
16 years 6 months ago
Algorithms for stochastic approximations of curvature flows
Curvature flows have been extensively considered from a deterministic point of view. They have been shown to be useful for a number of applications including crystal growth, flame...
Gozde B. Unal, Delphine Nain, G. Ben-Arous, Nahum ...