Sciweavers

4258 search results - page 659 / 852
» Languages and Interactive Software Development
Sort
View
CODES
2006
IEEE
15 years 9 months ago
Generic netlist representation for system and PE level design exploration
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
Bita Gorjiara, Mehrdad Reshadi, Pramod Chandraiah,...
155
Voted
CIKM
2000
Springer
15 years 7 months ago
Visual Query and Analysis Tool of the Object-Relational GIS Framework
Geographic Information Systems (GISs) have become an essential tool for efficient handling of our natural and artificial environment. The most important activities in a GIS are qu...
Zoran Stojanovic, Slobodanka Djordjevic-Kajan, Dra...
158
Voted
CSFW
2012
IEEE
13 years 5 months ago
Gran: Model Checking Grsecurity RBAC Policies
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
Michele Bugliesi, Stefano Calzavara, Riccardo Foca...
113
Voted
ICCAD
2006
IEEE
141views Hardware» more  ICCAD 2006»
16 years 8 days ago
A code refinement methodology for performance-improved synthesis from C
Although many recent advances have been made in hardware synthesis techniques from software programming languages such as C, the performance of synthesized hardware commonly suffe...
Greg Stitt, Frank Vahid, Walid A. Najjar
HOTSWUP
2009
ACM
15 years 8 months ago
Automating Database Schema Evolution in Information System Upgrades
The complexity, cost, and down-time currently created by the database schema evolution process is the source of incessant problems in the life of information systems and a major s...
Carlo Curino, Hyun Jin Moon, Carlo Zaniolo