Sciweavers

10910 search results - page 435 / 2182
» Input modeling using a computer algebra system
Sort
View
189
Voted
CASES
2005
ACM
15 years 8 months ago
Optimizing stream programs using linear state space analysis
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
Sitij Agrawal, William Thies, Saman P. Amarasinghe
ACSC
2004
IEEE
15 years 10 months ago
Formalization of UML Statechart Models Using Concurrent Regular Expressions
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
S. Jansamak, A. Surarerks
188
Voted
COMPSAC
2006
IEEE
16 years 28 days ago
A Practical Approach for Automated Test Case Generation using Statecharts
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
Valdivino A. Santiago, Ana Silvia Martins do Amara...
175
Voted
GECCO
2007
Springer
138views Optimization» more  GECCO 2007»
16 years 1 months ago
A particle swarm algorithm for symbols detection in wideband spatial multiplexing systems
This paper explores the application of the particle swarm algorithm for a NP-hard problem in the area of wireless communications. The specific problem is of detecting symbols in a...
Adnan Ahmed Khan, Muhammad Naeem, Syed Ismail Shah
191
Voted
VRST
2000
ACM
15 years 11 months ago
Interactive 3D modeling using only one image
For virtual reality systems, modeling of 3D objects and scenes is important and challenging. In this paper, we present an image-based interactive 3D modeling framework consisting ...
Sujin Liu, Zhiyong Huang