This Community Service is carried out based on the needs of teachers at Meunara Baroe Aceh Besar Integrated Madrasah Ibtidayah (MIT) so that they can adapt to scientific developments, as be able achieve Teacher and Lecturer Qualification Competency Standards in accordance with Minister National Education Regulation No. 14 2005. Based a situation analysis, MIT need mastery technology assist orga...

the graphical technique for nonlinear circuits was described that enable us to optimize circuits to obtain maximum output power, maximum efficiency or minimum intermodulation. according to this method a high power amplifier in the ka band was designed. using a nonlinear model of the transistor, optimum slope for load-line was determined so that maximum power at the output was obtainable, then ...

Web-TLR is a software tool designed for model-checking Web applications which is based on rewriting logic. Web applications are expressed as rewrite theories which can be formally verified by using the Maude built-in LTLR model-checker. Web-TLR is equipped with a userfriendly, graphical Web interface that shields the user from unnecessary information. Whenever a property is refuted, an interact...

This paper discusses the work-flow control features provided by the GRiNS editor for creating SMIL presentations. We start with an overview of the generic presentation creation process workflow and then introduce the general features supported by GRiNS. We then follow with a detailed set of examples of how these features can be used to create a simple slideshow of the type that can be played in...

U.S. data center energy consumption is expected to double every 5 years, as shown in Fig. 1, at a huge cost both financially and to the environment. Microsoft itself launched two new mega-data centers last year, in Dublin and in Chicago. Sadly, much of the power consumed by these data centers is wasted. As documented in a recent Google study, [2], servers are only busy 20-30% of the time on ave...

We demonstrate that Microsoft LINQ can be used as a convenient tool to define architectural assertions. We introduce an abstract model of software based on a directed multigraph and formalize the notion of software architecture and architectural assertions. We demonstrate how Microsoft Visual Studio can be harnessed to extract the architecture of a given software project and append it with asse...