Sciweavers

11063 search results - page 1977 / 2213
» On the existence of universal models
Sort
View
QUESTA
2010
131views more  QUESTA 2010»
15 years 5 months ago
Asymptotically optimal parallel resource assignment with interference
Motivated by scheduling in cellular wireless networks and resource allocation in computer systems, we study a service facility with two classes of users having heterogeneous servi...
Maaike Verloop, R. Núñez Queija
SCP
2010
154views more  SCP 2010»
15 years 5 months ago
An algebraic foundation for automatic feature-based program synthesis
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...
Sven Apel, Christian Lengauer, Bernhard Mölle...
SIVP
2010
184views more  SIVP 2010»
15 years 5 months ago
Multichannel AR parameter estimation from noisy observations as an errors-in-variables issue
In various applications from radar processing to mobile communication systems based on CDMA for instance, M-AR multichannel processes are often considered and may be combined with...
Julien Petitjean, Eric Grivel, William Bobillet, P...
SOSYM
2010
174views more  SOSYM 2010»
15 years 5 months ago
Automatic generation of basic behavior schemas from UML class diagrams
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...
Manoli Albert, Jordi Cabot, Cristina Gómez,...
TSE
2010
148views more  TSE 2010»
15 years 5 months ago
Program Behavior Discovery and Verification: A Graph Grammar Approach
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...
Chunying Zhao, Jun Kong, Kang Zhang
« Prev « First page 1977 / 2213 Last » Next »