5962 search results - page 1036 / 1193 » Working with Patterns and Code |
136
Voted
HASKELL
2006
ACM
15 years 9 months ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
122
Voted
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
137
Voted
WS
2006
ACM
15 years 9 months ago
2006
ACM
The interoperability of IM (Instant Messaging) and SMS (Short Messaging Service) networks allows users to seamlessly use a variety of computing devices from desktops to cellular p...
130
Voted
RTAS
2005
IEEE
15 years 9 months ago
2005
IEEE
Low-end embedded architectures, such as sensor nodes, have become popular in diverse fields, many of which impose real-time constraints. Currently, the Atmel Atmega processor fam...
134
Voted
SIGCSE
2005
ACM
15 years 9 months ago
2005
ACM
As Computer Science educators, we know that students learn more from projects that are fun and challenging, that seem “real” to them, and that allow them to be creative in des...