Sciweavers

326 search results - page 17 / 66
» Automatic application specific floating-point unit generatio...
Sort
View
CCS
2008
ACM
14 years 11 months ago
Towards automatic reverse engineering of software security configurations
The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such...
Rui Wang 0010, XiaoFeng Wang, Kehuan Zhang, Zhuowe...
FLAIRS
2000
14 years 11 months ago
Domain-Specific Knowledge Acquisition and Classification Using WordNet
For manyknowledgeintensive applications, it is necessary to have extensive domain-specific knowledgein addition to general-purpose knowledge bases usually built around MachineRead...
Dan I. Moldovan, Roxana Girju
CORR
2007
Springer
154views Education» more  CORR 2007»
14 years 9 months ago
Application of a design space exploration tool to enhance interleaver generation
This paper presents a methodology to efficiently explore the design space of communication adapters. In most digital signal processing (DSP) applications, the overall performance ...
Cyrille Chavet, Philippe Coussy, Pascal Urard, Eri...
DEXAW
2004
IEEE
133views Database» more  DEXAW 2004»
15 years 1 months ago
ADUS: Indirect Generation of User Interfaces on Wireless Devices
Nowadays, there exists a great interest in wireless and mobile devices. However, the development of graphical user interfaces (GUIs) for applications in these environments must co...
Nikola Mitrovic, José A. Royo, Eduardo Mena
ICSE
2001
IEEE-ACM
15 years 2 months ago
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Rous...