856 search results - page 90 / 172 » Building a Game Development Program |
102
click to vote
HOTOS
2007
IEEE
15 years 4 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
98
Voted
LOBJET
2000
15 years 9 days ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
ACMSE
2004
ACM
15 years 4 months ago
2004
ACM
Over the past decade, the need to build secure software has become a dominant goal in software development. Consequently, software researchers and practitioners have identified wa...
115
Voted
ISESE
2005
IEEE
15 years 6 months ago
2005
IEEE
The development of High-Performance Computing (HPC) programs is crucial to progress in many fields of scientific endeavor. We have run initial studies of the productivity of HPC d...
103
Voted
ERSA
2008
15 years 2 months ago
2008
For two decades, reconfigurable computing systems have provided an attractive alternative to fixed hardware solutions. Reconfigurable computing systems have demonstrated the low c...