3792 search results - page 652 / 759 » Techniques for Trusted Software Engineering |
158
click to vote
SI3D
1995
ACM
15 years 9 months ago
1995
ACM
One of the main techniques used by software renderers to produce stunningly realistic images is programmable shading—executing an arbitrarily complex program to compute the colo...
159
Voted
ENTCS
2002
15 years 5 months ago
2002
Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...
269
click to vote
EICS
2011
ACM
14 years 9 months ago
2011
ACM
This paper describes a model-based approach for designing distributed user interfaces (DUIs), i.e. graphical user interfaces that are distributed along one or many of the followin...
186
click to vote
EUROSYS
2011
ACM
14 years 9 months ago
2011
ACM
Parallel software is increasingly necessary to take advantage of multi-core architectures, but it is also prone to concurrency bugs which are particularly hard to avoid, find, an...
151
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...