7892 search results - page 324 / 1579 » Programming with Models |
162
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Image and video codecs are prevalent in multimedia devices, ranging from embedded systems, to desktop computers, to high-end servers such as HDTV editing consoles. It is not uncom...
141
click to vote
DKE
2010
15 years 2 months ago
2010
We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with...
116
click to vote
PPDP
2007
Springer
15 years 8 months ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
120
click to vote
ICSE
1998
IEEE-ACM
15 years 6 months ago
1998
IEEE-ACM
Form-based visual programming languages, which include commercial spreadsheets and various research systems, have had a substantial impact on end-user computing. Research shows, h...
125
click to vote
CASES
2005
ACM
15 years 4 months ago
2005
ACM
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...